On the product and sum of a system of transformation semi-groups : (commentationes mathematicae universitatis carolinae, _4(1963), p 29-42)

Sum rule for products of Bessel functions: comments on a paper by Newberger: "New sum rule for products of Bessel functions with application to plasma physics"

Factoring multivariate integral polynomials I: (preprint)

Factoring multivariate integral polynomials II: (preprint)

On the stability of the cell size distribution

Probability plots : STATAL report 3

Uniqueness of Whittaker-models for irreducible objects in Alg(Mp(k))

An infinite series of symmetric designs

Some observations concerning the zero-curves of the real and imaginary parts of Riemann's zeta function

On the uniqueness of a regular thin near octagon on 288 vertices (or the semibiplane belonging to the Mathieu group ***)

Hopf bifurcation and symmetry: travelling and standing waves on the circle

Linear Volterra convolution equations: semigroups, small solutions and convergence of projection operators

Periodicity and absolute regularity

Mixed defect correction iteration for the solution of a singular perturbation problem

ADA vergeleken met PASCAL [ADA compared to PASCAL]

On the design of an editor for the B programming language

Typesetting and troff

Scheduling theory since 1981: an annotated bibliography

Stochastic dynamical systems with a cyclic structure

Optimal control of partially observable stochastic systems with an exponential-of-integral performance index

Invariance properties of the conditional independence relation

The relaxation time of two queueing systems in series

The weak stochastic realization problem for discrete-time counting processes

A note on Delbrouck's approximate solution to the heterogeneous blocking problem

On two-tape real-time computation and queues

An ***1.618 lower bound on the time to simulate one queue or two pushdown stores by one tape

The simple roots of real-time computation hierarchies

Distributed elections in an Archimedean ring of processors

Polynomial factorization by root approximation

Process algebra semantics for queues

Formele ontwikkeling van schermverloopschema's en interaktieve programma's [Formal development of screen flow schemes and interactive programs]

Parallel algorithms in combinatorial optimization: an annotated bibliography

The sieve method as an alternative to dollar-unit sampling: the mathematical background

A survey of three language-independent programming environments

Big omega versus the wild functions

Local bifurcation of a logistic delay map

Bifurcation of a map at resonance 1:4

Step-by-step stability in the numerical solution of partial differential equations

Compactness in semantics for merge and fair merge

On specifying sets of integers

A note on the uniqueness of the Johnson scheme

Attitude-onderzoek openbaar vervoer in Rotterdam en omgeving: statistische analyse enquête naar denkbeeldige verplaatsingen

G-spaces: compactifications and pseudocompactness

Clines induced by a geographical barrier

Chaos and order

Interval estimates for posterior probabilities in a multivariate normal classification model

Termination strategies for Newton iteration in full multigrid methods

Multigrid methods for problems with a small parameter in the highest derivative

Generalised functions as linear functionals on generalized functions

Computation of some parameters of Lie geometries

Local recognition of Tits geometries of classical type

An algebraic specification method for processes over a finite action set

Factoring multivariate polynomials over algebraic number fields

Projective monads and extensions of functors

Two infinite sequences of near polygons : (preprint)

Hereditary subdirect irreducibility in graphs : (preprint)

The equicontinuous structure relation and extension of functions defined on G-spaces

A comparitive study of ADI splitting methods for parabolic equations in two space dimensions

A comparative survey of numerical methods for the linear generalized Abel integral equation

A portable vector-code for autonomous multigrid modules

On the simulation of many storage heads by one

VLSI-algoritmen voor herkenning van context-vrije talen in lineaire tijd [VLSI algorithms for recognition of context-free languages in linear time]

Symmetric systems with semi-simple structure algebra: the quarternionic case

New very large amicable pairs

Laplace type integrals: transformation to standard form and uniform asymptotic expansions

On orthogonal polynomials on a half line and the associated Kernel polynomials

On the weak finite stochastic realization problem

Some analytical aspects of the peakedness concept

Automatentheorie, complexiteit en algoritmen [Automata theory, complexity and algorithms]

Near polygons with lines of size three and Fischer spaces

Evolution semigroups and Hamiltonian flows

Tychonov's theorem for G-spaces: (a note on a paper by S. A. Antonyan)

The generalized Cartan decomposition for a compact Lie group

Pseudocompactness for G-spaces

The European UNIX network

An optimal simulation of counter machines: the ACM case

Another incompleteness theorem for Hoare's logic

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness

A process algebra for the operational semantics of static data flow networks

Factoring multivariate polynomials over finite fields

On the implementation of an editor for the B programming language

Making B-tress work for B

The parametrisation of the unstable invariant manifold for a class of horseshoe maps

Computational aspects of two component chromatography

Growth, fission and the stable size distribution

Virtual periods and global continuation of periodic orbits

Integration of the linear filtering problem by means of canonical transformations

Weak disjointness and the equicontinuous structure relation

Global extrapolation of a first order splitting method

Stability results for discrete Volterra equations

Operational operations research at the Mathematical Centre

On M-functions and nonlinear relaxation methods

The axiomatic semantics of programs based on Hoare's logic

The algebra of recursively defined processes and the algebra of regular processes

Karakterisering van spectra bij ijking van tracers

Linear multistep methods with minimized truncation error for periodic initial value problems

Guidelines for the design of large modular scientific libraries in ADA

Algebraic tools for system construction

Het software house- en simulatiespel

The dynamics of structured populations: some examples

An abstraction mechanism for process algebras

Current algebras and the identification problem

Connectivity of circulant digraphs

Intertwining functions on compact Lie groups, I

Probabilistic approach for comparing first eigenvalues

Variations on the Heisenberg spherical harmonics

Iteration of number-theoretic functions

A proof rule for restoring logic circuits

Traces to Tricomi in recent work on special functions and asymptotics of integrals

The infinite horizon optimal control problem on manifolds

Stability in linear multistep methods for pure delay equations

A Berry-Esseen bound for symmetric statistics

A framework for the probabilistic analysis of hierarchical planning systems

A note on the overflow process from a finite Markovian queue

On iterative procedures of asymptotic inference

Linear multistep methods for Volterra integral and integro-differential equations

Asymptotic analysis of a singular Sturm-Liouville boundary value problem

On the simulation of many storage heads by a single one

The multi-grid method in the solution of time-dependent nonlinear partial differential equations

Rigorous high speed separation of zeros of Riemann's zeta function III

Random number generators for a pocket calculator

Boundary value techniques for initial value problems in ordinary differential equations

On the zeros of the Riemann zeta function in the critical strip III

Software with low storage requirements for two-domensional nonlinear parabolic differential equations

Process algebra for communication and mutual exclusion

Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process - part 0: A survey of the main ideas and results

A hierarchical scheduling problem with a well-solvable second stage

Nonexistence of finite dimensional filters for conditional statistics of the cubic sensor problem

Log-convex trapezoidal approximation of an elementary integral

A characterization of a geometry related to ***(K)

Incremental polymorphic type checking in B

The GKS input facilities and how to use them

An optimal simulation of counter machines

On the power of real-time two-way multihead finite automata with jumps

Een taalonafhankelijke benadering van prettyprinten [A language-independent approach of prettyprinting]

Conditions for exponential ergodicity and bounds for the Deacy parameters of a birth-death process

On oscillation properties and the interval of orthogonality of orthogonal polynomials

Asymptotic analysis of a queueing system with a two-dimensional state space

A limitation of Markov representation for stationary processes

The Berry-Esseen bound for studentized U-statistics

On the Berry-Esseen theorem for multivariate U-statistics

Algebraically equivalent linear multistep solutions of Volterra integral equations and certain systems of ODEs

The mathematical modelling of entrained biological oscillators

The stable size distribution : an example in structured population dynamics

Matrix elements of irreducible representations of SU(2) x SU(2) and vector-valued orthogonal polynomials

The structure of near polygons with quads

An eigenvalue problem related to cell growth

Entire functions for the logistic map

Factoring polynomials over algebraic number fields

Processes and a fair semantics for the ADA rendez-vous

Linear time and branching time semantics for recursion with merge

The review of GKS version 7.0 : the finishing touch

Guidelines for the design of large modular scientific libraries in ADA

The convergence rate of multi-level algorithms applied to the convection-diffusion equation

Efficient FORTRAN techniques for vector processors : report on a seminar

The triangular decoupling problem for nonlinear control systems

Two open problems in precedence constrained scheduling

Feedback decomposition of nonlinear control systems

Hierarchical vehicle routing problems

A survey of one-step splitting methods for semi-discrete first order hyperbolic partial differential equations

Table of 1870 new amicable pairs generated from 1575 mother pairs

On generating new amicable pairs from given amicable pairs

An inequality for random replacement sampling plans

Asymptotic methods in mathematical biology

Case-control studies in a Markov chain setting

Standaard operating systems als oplossing en als probleem

An overview of the B programming language or B without tears

Hopf bifurcation for Volterra convolution equations

Ranks and order statistics

The use of defect correction for the solution of a singularly pertubed O.D.E.

On the iteration error in algebraically stable Runge-Kutta methods

The generalized Abel transform for SL(2,***)

Spectrum and eigenfunctions of a differential operator arising by linearization of the Fisher and related equations

A characterization of some geometries of exceptional Lie type

Convergence results for continuous-time adaptive stochastic filtering algorithms

The Lagrange multiplier rule on manifolds and optimal control of nonlinearsystems

Preemptive scheduling of uniform machines subject to release dates

On a formula for the direction of Hopf bifurcation

Uniform asymptotic expansions of Laplace integrals

Order conditions for a class of Runge-Kutta-Rosenbrock methods

Predictor-corrector methods with improved absolute stability regions

The two-level algorithm in the solution of the initial value problem for partial differential equations

Improved absolute stability of predictor-corrector methods for retarded differential equations

Linear multistep methods for Volterra integral equations of the second kind

Numerical aspects of singular perturbation problems

Defect correction for the solution of a singular perturbation problem

Reducibility of algebraically stable general linear methods

Estimating the global error of Runge-Kutta approximations

On the comparison of line-Gauss-Seidel and ILU relaxation in multigrid algorithms

The asymptotic variance of estimators for posterior probabilities

Analysis of association of categorial variables by numerical scores and graphical representation

Adaptive stochastic filtering problems : the continuous time case : (preprint)

Totally-balanced and greedy matrices : (preprint)

The strong finite stochastic realization problem : preliminary results : (preprint)

Solving covering problems and the uncapacitated plant location problem ontrees : (preprint)

Processes and the denotational semantics of concurrency : (preprint)

Hoare's logic for programming languages with two data types : (preprint)

Fixed point semantics in process algebras : (preprint)

Managing graphical resources : (preprint)

GKS in C : (preprint)

A survey of asynchronus I/O techniques for UNIX : (preprint)

The detailed semantics of graphics input devices : (preprint)

UNIX as a basis for CAD software : (preprint)

A finite flag-transitive geometry of extended G2-type : (preprint)

A characterization of two classes of semi partial geometries by their parameters : (preprint)

A characterization of a geometry related to (k) : (preprint)

On some sequences defined by recurrence relations of increasing length

On regular near polygons : Preprint

Orbits on real affine symmetric spaces, 1; the infinitesimal case : (preprint)

A further generalization of krall's jacobi type polynomials : (preprint)

The hecke algebra of a near hexagon

Fourier integrals of series of bessel functions arising in the theory of residual currents in tidal areas

Singular perturbations and a mapping on an interval for the forced van der pol relaxation oscillator : (preprint)

A functional equation for a series related to theta functions

Location estimators and spread : Preprint

Scaling of order dependent categorical variables with correspondence analysis : Preprint

A bound on the size of point clusters of a random walk with stationary increments

Understanding cox's regression model: a martingale approach : (preprint)

Ordering properties in correspondence analysis : (preprint)

A fourth order adi method for semidiscrete parabolic equations : Preprint

Rules for constructing hyperperfect numbers : (preprint)

One-dimensional galerkin methods and superconvergence at interior nodal points : Preprint

A class of runge-kutta-rosenbrock methods for solving stiff differential equations : (preprint)

Contractivity of locally one-dimensional splitting methods : (preprint)

The multi-grid method and artificial viscosity : (preprint)

Mixed defect correction iteration for the accurate solution of the convection diffusion equation : (preprint)

On the zeros of the riemann zeta function in the critical strip, II

Two-step splitting methods for semi-discrete second order hyperbolic partial differential equations

Multiple grid method for the calculation of potential flow around 3-d bodies : (preprint)

Volterra-type integral equations of the second kind with non-smooth solutions: high-order methods based on collocation techniques

Rigorous high speed separation of zeros of Riemann's zeta function, 2

Deciding equivalence of functional schemes for parallel programs : (preprint)

Fairness assumptions for csp in a temporal logic framework : Preprint

Conditional rewrite rules; confluency and termination : Preprint

Efficient simulations of multicounter machines (preliminary version) : (preprint)

On infinite computations in denotational semantics : (preprint)

Factoring polynomials with rational coefficients : (preprint)

Formal proof systems for program equivalence : (preprint)

Real-time simulation of multicounters by oblivious one-tape turing machines : (preprint)

Dynamic networks of parallel processes : (preprint)

Structured text formatting : (preprint)

Invertibility of affine nonlinear control systems: a geometric approach : Preprint

A differential geometric approach to optimal control

Observability of autonomous discrete-time nonlinear systems: a geometric approach : Preprint

An appraisal of computational complexity for operations researchers : Preprint

Generalizations of the polymatroidal network flow model : (preprint)

The disturbance decoupling problem for nonlinear control systems : (preprint)

Controlled invariance for nonlinear systems: two worked examples : (preprint)

An algol-68 package for the solution of systems of nonlinear equations : User manual. (preprint)

Observability of a class of nonlinear systems: a geometric approach : (preprint)

Operationele besliskunde op het mathematisch centrum

At play in the fields of scheduling theory

On the values of a function related to euler's gamma function

Exceptional presentations of three generalized hexagons of order 2

A synopsis of known distance-regular graphs with large diameters

A note on the zeros of flett's function

On the g-compactification of products

A characterization of subspaces of given rank in a projective space : (preprint)

Regular near polygons do contain hexes : (preprint)

The nonexistence of a regular near hexagon on 1408 points : (preprint)

The uniqueness of the near hexagon on 729 points : (preprint)

Spherical distributions on an exceptional hyperbolic space of type f : (preprint)

Clebsch-gordan coefficients for su(2) and hahn polynomials : (preprint)

On the points and lines of metasymplectic spaces : (preprint)

Polarities of g. higman's symmetric design and a strongly regular graph on 176 vertices : (preprint)

A characterization of the classical unitals : (preprint)

Krawtchouk polynomials, a unification of two different group theoretic interpretations : (preprint)

Some unitals on 28 points and their embeddings in projective planes of order 9

The uniqueness of the near hexagon on 759 points

Invariant differential operators on non-reductive homogeneous spaces

Some lotto numbers from an extension of turan's theorem

Strongly regular graphs where mu equals two and lambda is large

An inequality in binary vector spaces

Ovoids and fans in the generalized quadrangle gq(4,2)

A characterization by order of the generalized hexagons and a near octagon whose lines have length three

Montague grammar and functional grammar

A semi infinite trumpet-shaped model of the cochlea

Variational analysis of a perturbed free boundary problem : (preprint)

Invariant manifolds for volterra integral equations of convolution type : (preprint)

Optimal lower bounds for the spectrum of a second order linear differential equation with a p-integrable coefficient : (preprint)

Existence and uniqueness for a nonlinear diffusion problem arising in neurophysiology

Quadruple integral equations for the charged disc and coplanar annulus

Prelude to hopf bifurcation in an epidemic model: analysis of a characteristic equation associated with a nonlinear volterra integral equation : (preprint)

Dips and slidings of the forced van der pol relaxation oscillator

One way traffic of pulses in a neuron : (preprint)

The uniform asymptotic expansion of a class of integrals related to cumulative distribution functions : (preprint)

An application of the leslie matrix model to the population dynamics of the hooded (cystphora cristata erxleben) seal

A duality principle for delay equations : (preprint)

On a class of sensitive cheap control problems : (preprint)

Random perturbations, periodicity and chaotic behavior in nonlinear systems

The mathematical modelling of entrainment in physiological systems : (preprint)

A note on an inequality of chernoff : (preprint)

An edgeworth expansion for simple linear rank statistics under the null-hypothesis : (preprint)

Bayes tests for locally asymptotically normal families : (preprint)

A berry-esseen theorem for functions of uniform spacings : (preprint)

The berry-esseen bound for u-statistics : (preprint)

Large sample behaviour of the product-limit estimator on the whole line : (preprint)

Cox's regression model for counting processes: a large sample study : (preprint)

Linear nonparametric tests for comparison of counting processes, with applications to censored survival data : (preprint)

Berry-esseen theorems for simple linear rank statistics under the null-hypothesis : (preprint)

An accurate method without directional bias for the numerical solution of a 2-d elliptic singular perturbation problem : (preprint)

Defect correction iteration and splitting methods for time-dependent partial differential equations : (preprint)

Collocation methods for weakly singular second kind volterra integral equations with non-smooth solution : (preprint)

Computation of flows around a karman-trefftz profile : (preprint)

Rigorous high speed separation of zeros of Riemann's zeta function

On the contractivity of a complex runge-kutta scheme : (preprint)

Application of multigrid methods for integral equations to two problems from fluid dynamics : (preprint)

A special class of multistep runge-kutta methods with extended real stability interval : (preprint)

Smoothing and coarse grid approximation properties of multigrid methods

Stability analysis of numerical methods for volterra integral equations with polynomial convolution kernels : (preprint)

Modified multilag methods for volterra functional equations : (preprint)

On the choice of suitable operators and parameters in multigrid methods

Analysis of richardson iteration in multigrid methods for nonlinear parabolic differential equations : (preprint)

On the regularity of the principal value of the double layer potential : (preprint)

Application of the osher-engquist difference scheme and the full multi-grid method to a two dimensional nonlinear elliptic model equation : (preprint)

The construction of an accurate lower bound for the real parts of the eigenvalues of an m-matrix : (preprint)

On the practical value of the notion of bn-stability : (preprint)

Instructive experiments with some runge-kutta-rosenbrock methods : (preprint)

Lecture notes of a seminar on multiple grid methods

A note on defect correction processes with an approximate inverse of deficient rank

Lattices and factorization of polynomials : (preprint)

On the mc algol 68 compiler

Definition of an abstract algol 68 machine

Midl-a microinstruction description language : (preprint)

Towards monolingual programming environments : (preprint)

A note on non-generators of full afl's : (preprint)

Algebraic specifications for parametrized data types with minimal parameter and target algebras : (preprint)

On top-down parsing of algol 68+

Languageless programming : (preprint)

Making algol 68+ texts conform to an operator-priority grammar

A formal model for data flow programs with token coloring : (preprint)

Another proof for the completeness of a rule for the fair termination of guarded commands and another rule for their just termination. (preliminary version) : (preprint)

The b-representation of piecewise polynomial parametric curves and local adaption

Proving program inclusion using hoare's logic

A formalized proof system for total correctness of while programs : (preprint)

Some thoughts on a tuple oriented programming system

An operator-priority grammar for algol 68+

Pep: an interactive programming system with an algol-like programming language : (preprint)

An underlying context-free grammar of algol 68+

Correctness of programs with function procedures : (preprint)

An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint)

Algol 68+, a superlanguage of algol 68 for processing the standard-prelude

Efficient implementations of multicounter machines on oblivious turing machines, acyclic logic networks, and vlsi : (preprint)

Communicating graphics : (preprint)

Two theorems about the completeness of hoare's logic : (preprint)

The gks reviewing process : (preprint)

On the existence of cook semantics : (preprint)

Issues in the design of a beginners' programming language : (preprint)

Hoare's logic and peano's arithmetic : (preprint)

Formal language definitions can be made practical : (preprint)

Abstract storage structures : (preprint)

Pgen; a general purpose parser generator

Laser plotting of pollen diagrams

Short term adaptive prediction of railway power demand : (preprint)

Approximations for (s,s) inventory systems with stochastic lead times and a service level constraint : (preprint)

Controlled invariance by static output feedback for nonlinear systems : (preprint)

Analysis of heuristics for two-machine flow-shop sequencing subject to release dates : (preprint)

The weak and strong gaussian probabilistic realization problem : (preprint)

Machine scheduling with precedence constraints : (preprint)

A polynomial-time algorithm for solving the set covering problem on a totally-balanced matrix

Recent developments in deterministic sequencing and scheduling: a survey : (preprint)

Surrogate duality relaxation for job shop scheduling : (preprint)

Approximations for the waiting time distribution of the m/g/c queue : (preprint)

An algorithm for single machine sequencing with release dates to minimise total weighted completion time : (preprint)

Analysis of heuristics for stochastic programming: results for hierarchical scheduling problems : (preprint)

The probabilistic realization problem for finite dimensional gaussian random variables : (preprint)

Controllability distributions for nonlinear control systems

Nonlinear systems and nonlinear estimation theory : (preprint)

Computer aided complexity classification of deterministic scheduling problems

Computer aided complexity classification of combinatorial problems : (preprint)

Controlled invariance for nonlinear systems : (preprint)

Computational methods for single-server and multi-server queues with markovian input and general service times : (preprint)

Two lines least squares : (preprint)

Preemptive scheduling of precedence-constrained jobs on parallel machines : (preprint)

Deterministic and stochastic scheduling: : Extended abstracts

Semi-markov decision processes with denumerable state space, unbounded one-step costs and the average cost criterion

Initial algebra specifications for parametrized data types

Clines in the presence of asymmetric migration

A note on ***-regular graphs

The decomposition of graphs into ladder graphs

Linearization, compactification and the existence of non-trivial compact extensors for topological transformation groups : (preprint)

More mutually orthogonal latin squares : (preprint)

The uniqueness of the strongly regular graph on 77 points

A super-balanced hypergraph has a nest point

The representation theory of sl(2, ), a global approach : (preprint)

Highly proximal extensions and relative disjointness : (preprint)

Polynomial values and almost powers

Two transitive minkowski planes : (preprint)

Spherical functions and differential operators on complex grassmann manifolds

Powers and almost powers : (preprint)

Geometries originating from certain distance-regular graphs : (preprint)

The enumeration of locally transitive tournaments

On the size of a maximum transversal in a steiner triple system : (preprint)

On the existence of 30 mutually orthogonal latin squares

The stabilizer of dye's spread on a hyperbolic quadric in pg(4n-1,2) within the orthogonal group : (preprint)

Weakly mixing remarks

A near octagon associated with hj

Finite groups of real octave automorphisms

Pushed travelling waves in an initial-boundary value problem for fisher type equations : (preprint)

A nonlinear evolution problem arising in the physics of ionized gases : (preprint)

Heteroclinic waves of the fitzhugh-nagumo equations : (preprint)

A proposal for the co6 chapter of the nag algol 68 library

On the van der pol relaxation oscillator with a sinusoidal forcing term

A variation-of-constants formula for nonlinear volterra integral equations of convolution type : (preprint)

Some problems in connection with the incomplete gamma functions

On a class of optimal control problems with an almost cost free solution : (preprint)

Nerve impulse propagation in a branching nerve system: a simple model

The numerical computation of the confluent hypergeometric function u(a,b,z) : (preprint)

Forced prey-predator oscillations : (preprint)

A note on two integrals related with bessel functions : (preprint)

Travelling waves in an initial-boundary value problem : (preprint)

Volterra integral equations and semigroups of operators : (preprint)

On a class of nearly singular optimal control problems

Rigorous results on a time-dependent inhomogeneous coulomb gas problem : (preprint)

Subharmonische oplossingen van periodiek aangedreven stelsels differentiaalvergelijkingen met toepassingen in de populatiedynamica

Een karakteristieke vergelijking uit de mathematische epidemiologie

On the edgeworth expansion for the simple linear rank statistic : (preprint)

On efficiency of first and second order : (preprint)

Bahadur efficiency and small-sample eficiency: a numerical study

Branching processes with continuous state space allowing immigration : (preprint)

The automatic solution of fredholm equations of the second kind

Comparing some aspects of two codes for two-point boundary-value problems

Numerical solution of a diffusion problem with segregation at a moving interface : (preprint)

Convergence and stability analysis for modified runge-kutta methods in the numerical treatment of second kind volterra integral equations : (preprint)

Preconditioning and coarse grid corrections in the solution of the initial value problem for nonlinear partial differential equations : (preprint)

An algol 68 routine for the approximation of partial derivatives on a two-dimensional grid

Fourier analysis of gridfunctions, prolongations and restrictions

Numerical solution of the navier-stokes equations by means of a multigrid method and newton-iteration : (preprint)

A performance evaluation of a class of runge-kutta-chebyshev methods for solving semi-discrete parabolic differential equations

An analysis of rosenbrock methods for non-linear stiff initial value problems : (preprint)

A mesh-parameter-continuation method : (preprint)

An algol 60 package for the solution of nonlinear equations

Hyperperfect numbers with more than two different prime factors : (preprint)

Numerical solution of two coupled nonlinear equations related to the limits of buchstab's iteration sieve

Stability of linear multistep methods on the imaginary axis : (preprint)

On $V_0$-stability of numerical methods for volterra integral equations of the second kin

Convergence and stability analysis of runge-kutta type methods for volterra integral equations of the second kind : (preprint)

Rosenbrock methods and time-lagged jacobian matrices : (preprint)

Galerkin methods for even-order parabolic equations in one space variable : (preprint)

Superconvergence in collocation and implicit runge-kutta methods for volterra-type integral equations of the second kind : (preprint)

Stability analysis of reducible quadrature methods for volterra integral equations of the second kind : (preprint)

Modified nystroem methods for semi-discrete hyperbolic differential equations : (preprint)

A survey of multi-grid methods for nonlinear problems

The completeness of the algebraic specification methods for data types : (preprint)

On the refinement of specifications and hoare's logic : (preprint)

Correctness of explicitly specified procedures : (preprint)

On the notion of correct refinement of programs : (prepint)

On the operational structure of algebraic programming systems : (preprint)

Operational and denotational semantics describing the matching process in snobol4 : (preprint)

Proving total correctness of nondeterministic programs in infinitary logic : (preprint)

Expressiveness and the completeness of hoare's logic : (preprint)

Designing a machine independent storage management system : (preprint)

Real-time turing machines under varying specifications, 2 : (preprint)

Reconciling data flow machines and conventional languages : (preprint)

Floyd's principle, correctness theories and program equivalence : (preprint)

Checking whether programs are correct or incorrect

Algebraically specified programming systems and hoare's logic : (preprint)

Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint)

Time and space complexity of inside-out macro languages : (preprint)

Real-time turing machines under varying specifications : (preprint)

Two-tape real-time computation : (preprint)

A survey of high level microprogramming languages : (preprint)

Relativized obliviousness : (preprint)

The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs : (preprint)

Semantics of unbounded nondeterminism : (preprint)

Deriving algorithms by adding and removing variables : (preprint)

A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification : (preprint)

On the power of real-time turing machines under varying specifications; extended abstract : (preprint)

On bounds for the specification of finite data types by means of equations and conditional equations : (preprint)

Computing in algebraic systems : (preprint)

A comparative analysis of the intel 8086, the zilog z8000 and the motorola mc8000 microprocessors : (preprint)

Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds : (preprint)

B-spline algorithms

Controlled invariance for affine control systems : (preprint)

Complexity results for scheduling tasks in fixed intervals on two types of machines : (preprint)

Controlled invariant distributions for affine systems on manifolds : (preprint)

An introduction to polymatroidal network flows : (preprint)

Preemptive scheduling of a single machine to minimize maximum cost subject to release dates and precedence constraints : (preprint)

Scheduling subject to resource constraints: classification and complexity : (preprint)

Introduction a l' ordonnancement de plusieurs machines : (prepublication)

Theorie de la complexite de calcul appliquee aux problemes de couplage, recouvrement et partitionnement : (prepublication)

Timetables for dental students : (preprint)

Duality and the nonlinear round-trip -center and covering problems on a tree : (preprint)

Linear programming and undiscounted stochastic games in which one player controls transitions : (preprint)

An introduction to multiprocessor scheduling : (preprint)

Algorithms for the state probabilities and waiting times in single server queueing systems with random and quasirandom input and phase-type service times : (preprint)

The stochastic filtering problem for point processes : (preprint)

Analytical evaluation of hierarchical planning systems : (preprint)

Hierarchical distribution modelling with routing costs : (preprint)

A recursive approach to the implementation of enumerative methods : (preprint)

A mesh-parameter continuation method

Handleiding voor hierarchische clusteranalyse [2e Druk]

Stochastic systems and the problem of state space realization [2nd printing]

A global approach to the representation theory of sl(2,R)

A singular boundary value problem arising in a pre-breakdown gas discharge : (preprint)

The poincare series of the polynomials invariant under su@ in its irreducible representation of degree @

Angular variation and the zeros of certain functions : (preprint)

On an identity of t. bang

On lower bounds for permanents

Bounded discrepancy sets : (preprint)

The limits of buchstab's iteration sieve

Point distal - and hpi extensions : (preprint)

Finite minkowski planes : (preprint)

Nearaffine planes : (preprint)

Disjointness and classes of minimal transformation groups

On problems concerning the quantification rules in montague grammar : (preprint)

The number of mutually orthogonal latin squares; a table up to order 10000

On the edge-colouring problem for unions of complete uniform hypergraphs : (preprint)

A series of separable designs with application to pairwise orthogonal latin squares : (preprint)

The linear spaces on 15 points : (preprint)

On intensionality in programming languages

On sublattices of the leech lattice and primitive reflection groups

A new partial geometry with parameters (s,t,@ ) = (7,8,4

A few new constant weight codes

Linearization of actions of locally compact groups

Hypertransformation groups and recursiveness: some remarks on an article of s.c. koo

A note on weight functions on locally compact groups

How many jumps? variational characterization of the limit solution of a singular perturbation problem : (preprint)

A precise definition of separation of variables : (preprint)

Clines in a discrete time model in population genetics : (preprint)

On the expansion of confluent hypergeometric functions in terms of bessel functions : (preprint)

A fractional integral operator corresponding to negative powers of a second order partial differential operator : (preprint)

A study of the representations of sl(2,c!) using noninfinitesimal methods

Nonstationary filtration in partially saturated porous media : (preprint)

Non-uniqueness in singular optimal control : (preprint)

Small random perturbations of dynamical systems with applications in population genetics : (preprint)

The numerical computation of special functions by use of quadrature rules for saddle point integrals, 1; trapezoidal integration rules : 2nd ed

Hopf bifurcation and attractivity

Reduction of tensor products of some representations of the conformal group

Estimation of location and criterion of tails : (preprint)

A note on some methods for regression analysis with incomplete observations : (preprint)

The computation of an unconditional critical level when testing the equality of two unknown probabilities : Statal report, 4

On generating random variables : Statal report 2

The statal random number generator : Statal report 1

On a class of explicit three-step runge-kutta methods with extended real stability intervals : (preprint)

Linear multistep methods and the construction of quadrature formulae for volterra integral and integro-differential equations

Multiple grid methods for the solution of Fredholm integral equations of the second kind

On the economization of stabilized runge-kutta methods with applications to parabolic initial value problems : (preprint)

A note on c galerkin methods for two-point boundary problem : (preprint)

On the internal stability of explicit, m-stage runge-kutta methods for large m-values : (preprint)

Analysis of numerical methods for second kind volterra equations by imbedding techniques : (preprint)

A program to solve rotating plasma problems : (preprint)

The calculation of eigenvectors and invariant subspaces

On the treatment of time-dependent boundary conditions in splitting methods for parabolic differential equations : (preprint)

Tables of the first 15000 zeros of the riemann zeta function to 28 significant digits, and related quantities

A preliminary report on numerical operators in algol 68

On the structure of an adaptive multi-level algorithm : (preprint)

A comparative study of programs for solving nonlinear equations (Third ed.)

On generalized runge-kutta methods using an exact jacobian at a non-step point : (preprint)

An algol 68 implementation of urabe's method for nonlinear periodic differential systems

Multi-grid techniek voor het oplossen van fredholm-integraalvergelijkingen van de tweede soort

On the stability of direct quadrature rules for second kind volterra integral equations

On the adequacy of finite equational methods for data type specification : (preprint)

An overview of the summer programming language : (preprint)

Exeption handling with multi-exit statements : (preprint)

A characterisation of computable data types by means of a finite, equational specification method : (preprint)

How inefficient are stack-oriented abstract machines? : (preprint)

Computing the perimeter of a set of rectangles : (preprint)

Abstracto 84: the next generation : (preprint)

Correctness theories and program equivalence : (preprint)

Recurrent ultracomputers are not log n-fast : (preprint)

Bitonic sort on ultracomputers : (preprint)

Derivatives of programs : (preprint)

Algebraic specifications of computable and semi-computable data structures : (preprint)

On controlled iterated gsm mappings and related operations : (preprint)

Some issues in interactive programming revisited : (preprint)

Line numbers made cheap : (preprint)

Multihead and multitape real-time turing machines : (preprint)

Interpretation techniques : (preprint)

Some statistics on algol 68 programs : (preprint)

Space-bounded complexity classes and iterated deterministic substitution : (preprint)

A fast garbage-compaction algorithm : (preprint)

Computing roots of unity in fields : (preprint)

Goto statements: semantics and deduction systems : (preprint)

Towards compatible graphic standards : [editorial board meeting; amsterdam 08-10.02.1979]

Criteria voor een researchcomputer

Duality in polynomial models with some applications to geometric control theory : (preprint)

The p-median problem with mutual communication on a tree : (preprint)

Factorization indices at infinity for rational matrix functions : (preprint)

Minimizing maximum lateness in a two-machine open shop : (preprint)

Complexity of vehicle routing and scheduling problems : (preprint)

Characterizing properties of the value function of stochastic games : (preprint)

Approximations for the steady-state probabilities in the multi-server m/g/c queue : (preprint)

Stochastic systems and the problem of state space realization : (preprint)

Complexity of location problems on networks

Efficient implementation of dynamic programming algorithms for sequencing problems : (preprint)